1. Logics in artificial intelligence: European Workshop JELIA'96, Evora, Portugal, September 30-October 3, 1996 : proceedings
پدیدآورنده: Jose Julio Alferes, Luis Moniz Pereira, Ewa Orlowska )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic
رده :
QA
76
.
L28
Vol
.
1126
2. Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
پدیدآورنده: Jose Julio Alferes, Joao Leite )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3229
3. Progress in artificial intelligence : 9th Portuguese Conference on Artificial Intelligence, EPIA'99, Evora, Portugal, September 22-24, 1999 : proceedings
پدیدآورنده: Pedro Barahona, Jose J. Alferes )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1695
4. Reasoning with logic programming
پدیدآورنده: Alferes, Jose Julio
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Reasoning
رده :
QA
76
.
L28
Vol
.
1111
5. Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
پدیدآورنده: Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Rule-based programming -- Congresses,، Semantic Web -- Congresses
رده :
QA
76
.
76
.
R95
2016
